NONMON.AX[F81,JMC] - www.SailDart.org

perm filename NONMON.AX[F81,JMC] blob sn#616089 filedate 1981-10-02 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	nonmon.ax[f81,jmc]	Examples of axioms intended for use with circumscription
C00003 ENDMK
C⊗;
nonmon.ax[f81,jmc]	Examples of axioms intended for use with circumscription

(axiom |∀p g a s.wants(p,g,s) ∧ achieves(g,does(p,a),s) ∧ ¬prev1(p,g,a,s)
	⊃ occurs(does(p,a),s)|)